Specication of Gms Access Protocol (gap) Version 1.0
نویسنده
چکیده
Group communications require special support for name and address management, QoS support, and connection establishment. The group and session management system (GMS) is a distributed directory system which is speci cally designed to support group communication infrastructures. This report brie y introduces the concepts of GMS, the data types available, and then gives a speci cation of GAP, the GMS access protocol. GAP is speci ed by state diagrams describing the behavior of two communication entities, the PDU syntax in ASN.1, and the PDU semantics in comments given for each PDU.
منابع مشابه
Specication of Gms System Protocol (gsp) Version 1.0 Contents 1 Introduction 3 2 Gms Data 4 2.1 Common
Group communications require special support for name and address management, QoS support, and connection establishment. The group and session management system (GMS) is a distributed directory system which is speci cally designed to support group communication infrastructures. This report brie y introduces the concepts of GMS, the data types available, and then gives the speci cation of GSP, t...
متن کاملImplementing Movie Control, Access and Management - From a Formal Description to a Working Multimedia System
In this paper we describe the tool{supported specication and implementation of a multimedia communication protocol on parallel hardware. MCAM is an application layer protocol for movie control, access and management. We specify the full MCAM protocol together with ISO presentation and session layers in Estelle. Using a code generator, we derive parallel C++ code from the speci cation. The code ...
متن کاملA Group and Session Management System for Distributed Multimedia Applications
Distributed multimedia applications are very demanding with respect to support they require from the underlying group communication platform. In this paper, an approach is described which aims at providing group communication platform designers with a component which can be used for powerful group and session management functionality. This component, which can be integrated into group communica...
متن کاملA HOL Formalization of CAPSL Semantics
This paper describes a state-based Higher Order Logic theory of protocol failure that formalizes the semantics of the Common Authentication Protocol Specication Language, a speci cation language being developed for use by all protocol designers and all protocolanalysis tools. This theory gives the basis for a new, fast and thorough, protocol-analysis tool based on automatically constructing pro...
متن کاملSpin the Groove: Speci cation of Link Reversal Routing via Graph Transformations
We present a formal speci cation of the Gafni-Bertsekas algorithm, a Link Reversal Routing protocol, via Graph Transformation Systems (GTS) as provided in the GROOVE tool. Validation tools like GROOVE can naturally exploit systems symmetries both at the specication and state-exploration level. To exploit the most recent features of the tool like data elds, we study a height-based version of Gaf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996